61. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses
رده :
QA
76
.
63
.
I566
1995
62. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
پدیدآورنده : Michael Fisher, Richard Owens )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(
رده :
QA
76
.
63
I566
1995
63. Expert system development in Prolog and Turbo-prolog
پدیدآورنده : Smith, P. R.)Peter R.(,Peter Smith
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Expert systems )Computer science(,، Prolog )Computer program language(,، Turbo prolog
رده :
QA
76
.
76
.
E95
S65
1990
64. Expert systems programming in Turbo prolog
پدیدآورنده : / Daniel H. Marcellus
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Expert systems (Computer science),Prolog (Computer program language),Turbo prolog (Computer program)
رده :
006
.
33
M314E
65. Expert systems programming in turbo prolog
پدیدآورنده : MARCELLUS,DANIEL H
کتابخانه: (طهران)
موضوع : EXPERT SYSTEMS )COMPUTER SCIENCE( , PROLOG )COMPUTER PROGRAM LANGUAGE( , TURBO PROLOG
رده :
QA
76
.
76
.
E95
M36
1989
66. From Logic Programming to Prolog
پدیدآورنده : Apt, Krzysztof.R,Krzysztof R. Apt
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Lagic Programming,، Prolog ) Computer Program Language (
رده :
QA
76/63
/A67
67. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
68. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
69. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: (طهران)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
70. Further programming in Prolog : writing application programs
پدیدآورنده : Hepburn, Philip Henry
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Prolog )Computer program language(
رده :
QA
76
.
73
.
P76
H46
1987
71. Illustrated Turbo prolog
پدیدآورنده : McAllister, Mick
کتابخانه: (طهران)
موضوع : ، Prolog )Computer program language(,، Turbo prolog
رده :
QA
76
.
73
.
P76
M39
1989
72. Implementations of Prolog
پدیدآورنده : editor, J.A. Campbell
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Prolog )Computer program language(
رده :
QA
76
.
73
.
P76
I56
73. Implementations of distributed Prolog
پدیدآورنده : edited by Peter Kacsuk and Michael Wise
کتابخانه: (طهران)
موضوع : ، Prolog )Computer program language(,، Electronic data processing -- Distributed processing
رده :
QA
76
.
73
.
P76
I55
1992
74. Implementations of distributed Prolog
پدیدآورنده : edited by Peter Kacsuk and Michael Wise
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (طهران)
موضوع : Prolog (Computer program language),Electronic data processing - Distributed processing
رده :
QA
76
.
73
.
P76I55
1992
75. Implementations of distributed Prolog
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Prolog )Computer program language(,، Electronic data processing-- Distributed processing
رده :
QA
76
.
73
.
P76
.
I55
1992
76. Implementations of distributed Prolog
پدیدآورنده : edited by Peter Kacsuk and Michael Wise
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Prolog (Computer program language),Electronic data processing - Distributed processing
رده :
QA
76
.
73
.
P76I55
1992
77. Introduction to Prolog
پدیدآورنده : R. P. Suri
کتابخانه: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع : Prolog (Computer program language)
رده :
QA
,
76
.
73
,.
P76S8
,
2007
78. Introduction to Prolog
پدیدآورنده : Suri ,R.P.
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Prolog )Computer program language(
رده :
QA
76
.
73
.
P76S41
2007
79. Introduction to Turbo prolog
پدیدآورنده : Carl Townsend,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Prolog )Computer program language(
رده :
QA
.
P76T69
76
.
73
1987
80. Introduction to programming in Prolog
پدیدآورنده : Crookes, Danny
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Prolog )Computer program language(
رده :
QA
76
.
73
.
P76
C74
1988